Typed Assembly Language